limit proof